Integrating Symbolic Worst-Case Execution Time Analysis with Aspect-Oriented System Development
نویسندگان
چکیده
Increasing complexity in development of real-time systems accompanied by the demand for enabling their configurability requires the integration of aspect-oriented software development with real-time system development. Since software technology for building real-time systems has to support predictability in the time domain, methods and tools for analyzing temporal behavior of the aspectoriented software are needed. Knowing worst-case execution time is of primary importance for timing analysis of real-time systems. We contribute by providing support for predictable aspect-oriented software development, by enabling symbolic worst-case execution time analysis of the aspect-oriented software systems.
منابع مشابه
Aspect-Level WCET Analyzer: A Tool for Automated WCET Analysis of the Real-Time Software Composed Using Aspect and Components
Increasing complexity in development of real-time systems requires the integration of new software engineering techniques, such as aspect-oriented and component-based software development, with real-time system development. Since software technology for building real-time systems has to support timeliness, methods and tools for analyzing temporal behavior of the software composed out of compone...
متن کاملIntegrating Abstract Caches with Symbolic Pipeline Analysis
Static worst-case execution time analysis of real-time tasks is based on abstract models that capture the timing behavior of the processor on which the tasks run. For complex processors, task-level execution time bounds are obtained by a state space exploration which involves the abstract model and the program. Partial state space exploration is not sound. Symbolic methods using binary decision...
متن کاملOn the False Path Problem in Hard Real-Time Programs
This paper addresses the important subject of estimating the worst-case execution time (WCET) of hard real-time programs essentially needed for further evaluation of realtime systems. Purely structure oriented methods, analysing the control flow of the program without taking into account functional dependencies, tend to overestimate the execution time. An exact solution of this NP-complete prob...
متن کاملCombining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis
This paper examines the problem of determining bounds on execution time of real-time programs. Execution time estimation is generally useful in real-time software verification phase, but may be used in other phases of the design and execution of real-time programs (scheduling, automatic parallelizing, etc.). This paper is devoted to the worst-case execution time (WCET) analysis. We present a st...
متن کاملA Novel Gain Time Reclaiming Framework Integrating WCET Analysis for Object-Oriented Real-Time Systems
This paper proposes a novel gain time reclaiming framework integrating WCET analysis for object-oriented real-time systems in order to provide greater flexibility and without loss of the predicability and efficiency of the whole system. In this paper we present an approach which demonstrates how to improve the utilisation and overall performance of the whole system by reclaiming gain time at ru...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002